1. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
2. Modern logic :
پدیدآورنده : Graeme Forbes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Modern-- 20th century.,Logic, Symbolic and mathematical.,Logic, Modern -- 20th century.,Logic, Symbolic and mathematical.,Logique-- 20e siècle.,Logique symbolique et mathématique.,Logic, Modern.,Logic, Symbolic and mathematical.,Logik,Logique.,Mathematische Logik,Symbolische logica.,Wiskundige logica.
رده :
BC135
.
F57
1994
3. The logic book /
پدیدآورنده : Merrie Bergmann, James Moor, Jack Nelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Predicate (Logic),Logic, Symbolic and mathematical.,Logica.,Predicate (Logic),Symbolische logica.,Voorspellingen.,Wiskundige logica.
رده :
BC135
.
B435
2003
